منابع مشابه
One Loop at a Time
Classic techniques for proving termination require the identification of a measure mapping program states to the elements of a well founded domain and to show that this measure decreases with each iteration of a loop in the program. This is a global termination condition — there is a single measure which must be shown to decrease over all of the loops in the program. In this abstract we look at...
متن کاملOne step at a time
for these devices. But the macro layer of a network can be expanded to go a long way. In the near-term, the smartphone challenge is not about providing the capacity to cope with subscriber datausage, but is related to how the signaling system is configured. To build the networks that will cope with long-term predictions requires a new approach to network construction, heterogeneous networks – m...
متن کاملOne organ at a time
S tem cell research—and investment into it—has been largely inspired by the hope of using stem cells to regenerate, repair or replace damaged tissue or even whole organs. Stem cell-based therapies promise to eventually solve the problems associated with conventional organ transplantation: notably tissue rejection, a shortage of donors and the poor quality of donor organs. A much improved knowle...
متن کاملBiology at the Nanoscale, One Molecule at a Time
Advances in optical imaging and molecular manipulation techniques have made it possible to observe individual proteins and record molecular movies that provide new insight into their dynamics and reaction mechanisms. In a biological context, most of these proteins function in concert with other proteins in large complexes, so an important direction is the utilization of single-molecule techniqu...
متن کاملThe Prevalence of at Least One-Time Substance Abuse among Kerman Pre-university Male Students
Background: Substance abuse is one of the main health problems in Iran and awareness about its spread and procedure of spread in the society, particularly the susceptible society of students, is very important with regard to the population pyramid of Iran. Methods: This study was performed by cross-sectional method. The sampling size was 610 male students in pre-university grade by a probabilis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Berkeley Scientific Journal
سال: 2013
ISSN: 2373-8146,1097-0967
DOI: 10.5070/bs3171016148